Large portions of mathematics such as algebra and geometry can be formalized using first-order axiomatizations. In many cases it is even possible to use a very well-behaved class of first-order axioms, namely, what are called coherent or geometric implications. Such class of axioms can be translated to inference rules that can be added to a sequent calculus while preserving its structural properties. In this work, this fundamental result is extended to their infinitary generalizations as extensions of sequent calculi for both (...) classical and intuitionistic infinitary logic. As an application, a simple proof of the infinitary Barr’s theorem without the axioms of choice is shown. (shrink)

A welcome addition to the Routledge Critical Thinkers series, Judith Butler is the first guidebook on this renowned feminist and queer theory scholar, which will help not only students of literary criticism but also students of law, sociology, philosophy, film and cultural studies. Examining Butler's work through a variety of contexts, including the formation of gender performativity, identity and subjecthood, Sarah Salih address Butler's crucial ideas on the gender agenda, the body, pornography, race, gay self-expression and power and psychoanalysis. Concluding (...) with an annotated bibliography, this book will be the ideal starting point for all new to Butler. (shrink)

This chapter develops an alternative to the dominant articulation of human existence on the basis of classical phenomenology, arguing that Edmund Husserl's phenomenological inquiries into the structures of embodiment provide a very different and more fruitful starting point for the investigation of sexual difference than the ideas of social gender and biological sex. The ways of classifying sex and gender characteristics mark them out on several different conceptual bases, and thus their categories may not correspond or coincide. Moreover historical and (...) biological inquiries indicate that the dimorphic notion of sex is prescriptive and constructive. Finally the sex/gender paradigm is dominated by the explanatory framework of causes and effects. The phenomenological analysis shows that the causal-functional framework is inadequate for the investigation of the plurality of the bodily existence and sexual difference as a dimension of this existence. In the light of the explication of the concepts of sex and gender, and the phenomenological analysis of embodiment, the sex/gender paradigm cannot offer a basis for a comprehensive philosophy of sexual existence. (shrink)

With technologies like machine learning and data analytics being deployed as privileged means to improve how contemporary bureaucracies work, many governments around the world have turned to artificial intelligence as a tool of statecraft. In that context, our paper uses Canada as a critical case to investigate the relationship between ideals of good government and good technology. We do so through not one, but two Trudeaus—celebrity Prime Minister Justin Trudeau (2015—…) and his equally famous father, former Prime Minister Pierre Elliott (...) Trudeau (1968–1979, 1980–1984). Both shared a similar interest in new ideas and practices of both intelligent government and artificial intelligence. Influenced by Marshall McLuhan and his media theory, Pierre Elliott Trudeau deployed new communication technologies to restore centralized control in an otherwise decentralized state. Partly successful, he left his son with an informationally inclined political legacy, which decades later animated Justin Trudeau's own turn toward Big Data and artificial intelligence. Compared with one another, these two visions for both government and artificial intelligence illustrate the broader tensions between cybernetic and neoliberal approaches to government, which inform how new technologies are conceived of, and adopted, as political ones. As this article argues, Canada offers a paradigmatic case for how artificial intelligence is as much shaped by theories of government as by investments and innovations in computing research, which together delimit the contours of intelligence by defining which technical systems, people, and organizations come to be recognized as its privileged bearers. (shrink)

In considering two extended examples of educational reform efforts, this discussion traces relations that become visible through analytic approaches associated with actor-network theory (ANT). The strategy here is to present multiple readings of the two examples. The first reading adopts an ANT approach to follow ways that all actors—human and non-human entities, including the entity that is taken to be ‘educational reform’—are performed into being through the play of linkages among heterogeneous elements. Then, further readings focus not only on the (...) material practices that become enacted and distributed, but also on the otherings that occur: the various fluid spaces and ambivalent belongings that create actor-network(s) but also escape them. For educational research, particularly in educational reform and policy, it is argued that ANT analyses are particularly useful to examine the complex enactments in these dynamics. That is, ANT can illuminate movements of ordering and disordering that occur through minute socio-material connections in educational interventions. ANT readings also can discern, within these attempts to order people and practices, the spaces of flux and instability that enable and protect alternate possibilities. (shrink)

[This] is a... guide to both the major schools of literature and the political, philosophical and cultural theories informing them from the nineteenth century to the present. It covers the fundamental basics of each theory alongside discussions of current debates and contemporary usage..."--Back cover.

Many philosophers hypothesize that our concept of personal identity is partly constituted by the one-person-one-place rule, which states that a person can only be in one place at a time. This hypothesis has been assumed by the most influential contemporary work on personal identity. In this paper, we report a series of studies testing whether the hypothesis is true. In these studies, people consistently judged that the same person existed in two different places at the same time. This result undermines (...) some widely held philosophical assumptions, supports others, and fits well with recent discoveries on identity judgments about inanimate objects and non-human animals. (shrink)

It is impossible to imagine contemporary critical theory without the work of Michel Foucault. His radical reworkings of the concepts of power, knowledge, discourse and identity have influenced the widest possible range of theories and impacted upon disciplinary fields from literary studies to anthropology. Aimed at students approaching Foucault's texts for the first time, this volume offers: * an examination of Foucault's contexts * a guide to his key ideas * an overview of responses to his work * practical hints (...) on 'using Foucault' * an annotated guide to his most influential works * suggestions for further reading. Challenging not just what we think but how we think, Foucault's work remains the subject of heated debate. Sara Mills' Michel Foucault offers an introduction to both the ideas and the debate, fully equipping student readers for an encounter with this most influential of thinkers. (shrink)

In considering two extended examples of educational reform efforts, this discussion traces relations that become visible through analytic approaches associated with actor‐network theory . The strategy here is to present multiple readings of the two examples. The first reading adopts an ANT approach to follow ways that all actors—human and non‐human entities, including the entity that is taken to be ‘educational reform’—are performed into being through the play of linkages among heterogeneous elements. Then, further readings focus not only on the (...) material practices that become enacted and distributed, but also on the otherings that occur: the various fluid spaces and ambivalent belongings that create actor‐network but also escape them. For educational research, particularly in educational reform and policy, it is argued that ANT analyses are particularly useful to examine the complex enactments in these dynamics. That is, ANT can illuminate movements of ordering and disordering that occur through minute socio‐material connections in educational interventions. ANT readings also can discern, within these attempts to order people and practices, the spaces of flux and instability that enable and protect alternate possibilities. (shrink)

Is morality intuitive or deliberative? The distinction can obscure the role of folk moral theories in moral judgment; judgments may arise 'intuitively' yet result from abstract theoretical and philosophical commitments that participate in 'deliberative' reasoning.

Every day nurses are required to make ethical decisions in the course of caring for their patients. Ethics in Nursing Practice provides the background necessary to understand ethical decision making and its implications for patient care. The authors focus on the individual nurse’s responsibilities, as well as considering the wider issues affecting patients, colleagues and society as a whole. This third edition is fully updated, and takes into account recent changes in ICN position statements, WHO documents, as well as addressing (...) current issues in healthcare, such as providing for the health and care needs of refugees and asylum seekers, bioethics and the enforcement of nursing codes. (shrink)

The crucial role of animal models in biomedical research calls for philosophical investigation of how and whether knowledge about human diseases can be gained by studying other species. This Element delves into the selection and construction of animal models to serve as preclinical substitutes for human patients. It explores the multifaceted roles animal models fulfil in translational research and how the boundaries between humans and animals are negotiated in this process. The book also covers persistent translational challenges that have sparked (...) debates across scientific, philosophical, and public arenas regarding the limitations and future of animal models. Among the are persistent tensions between standardization and variation in medicine, as well as between strategies aiming to reduce and recapitulate biological complexity. Finally, the book examines the prospects of replacing animal models with animal-free methods. The Element demonstrates why animal modeling should be of interest to philosophers, social scientists, and scientists alike. (shrink)

This paper considers the complex relation between migrants’ interest in their host country and their consequent civic or social engagement in the framework of processes of transition following the rupture of international migration (cf. Zittoun 2006). In phases of transition, migrants live processes of identity definition, sense-making of the situation and learning new knowledge and social, cognitive and practical skills. I argue that learning may be considered a precondition for a migrant’s interest and engagement with the host country culture and (...) institutions. In this connection, I use Eade’s (2007) notion of migration strategy to describe migrant profiles based on learning. My case is supported by a qualitative analysis of two paradigmatic case studies. (shrink)

In a recent paper, Max Deutsch argues that there is no “qua problem” for purely causal theories of reference, according to which the extensions of some expressions are grounded in causal relations to members of their extensions during dubbing acts. The qua problem is the difficulty in specifying the facts in virtue of which the reference of “elephant” is grounded by causal contact with something _qua_ elephant and not _qua_ its other properties. If no such specification can be given, reference (...) remains unacceptably indeterminate. This has led many to abandon purely causal reference grounding. Deutsch’s argument for the dissolution of the problem goes as follows: we usually agree that an event can cause its effect _qua_ some of its properties and not _qua_ others. For example, a hot acidic solution causes a glass beaker to break due to its heat and not due to its acidity. Given this assumption, we can simply say that an event caused a dubbing act _qua_ the causally relevant property and not _qua_ the causally irrelevant properties, thus grounding the reference of the term; the qua problem has vanished. I will argue that causal mechanisms, and in particular the facts about causal relevance appealed to by Deutsch, are insufficient to dissolve the qua problem. It is not generally the case that a _unique_ property is causally relevant in purely physical cases of causation; but this is precisely what is required to avoid the referential indeterminacy highlighted by the qua problem. I will demonstrate that if we rely on causal relevance to dissolve the qua problem, there is no way to respect the uniqueness requirement: there are too many properties that are causally relevant to the occurrence of any single dubbing act, including the intentional states of the dubber. (shrink)

This profound resource extends the concept of education as a human right to propose lasting solutions to educational disparities worldwide. Its multiperspective analysis probes the roots of educational inequities in recent and longstanding economic divisions, cultural domination, and political injustice, framing equal access to meaningful learning as a core aspect of a humane society. Characteristics of Educational Leaders without Borders (ELWB) are defined, and the challenges of their mission are examined in global context, from education of girls in the Middle (...) East to internet access in Haiti to the complex situation of U.S. minority students. In addition, an overview of historical precedents for ELWB in the work of Dewey and others helps to illuminate pressing issues that must be addressed by current and future humanistic leaders to improve educational access for the world's children. Among the topics covered: Education without nationalism: locating leadership when borders no longer hold. Toward a metanoia of global educational leadership. Teaching, technology, and transformation. The unique challenges of education in emerging West African countries. The economics of globalization in higher education. The transnational context of schooling. Educators, education researchers, and policymakers in education will welcome the clear-minded realism and ethically robust agenda found in Educational Leaders without Borders. (shrink)

The point of scientificity, or pos,represents a place in history whereeducational administration was founded as ascience. A pos creates a field of memoryand a field of studies. A pos isepistemologically sustained in its claim forscientific status by a line of demarcation orlod. A lod is supported by truthclaims based on various forms ofcorrespondence. As these forms have beeninterrogated and abandoned, correspondence hasgiven way to coherentism and finally to testsof falsification. As falsification has shownto contain serious flaws when compared to theactual (...) history of scientific discoveries, theentire project of a distinct and unitaryfield known as educational administration isseriously cast into doubt. Contemporaryexaminations in educational administrationdiscourse show that even when the lod hasbeen undermined by epistemological shifts, theinitial pos has remained to supportclaims regarding the project of a ``science ofleadership.'' The analysis contained in thisarticle show, however, that when claims of thelod are demonstrably unsustainable, theinitial pos must be similarly abandoned. With that collapse the concept of a fieldis likewise effaced. The epistemologicalalternative is to envision fields ofstudy which do not require a lod, excepton a longitudinal basis to ascertain whether aresearch program shaped and sustained by it isprogressive or regressive. In short, there areno aprori meta-criteria to separate sciencefrom non-science in educationaladministration. (shrink)

The debate on love's reasons ignores unrequited love, which—I argue—can be as genuine and as valuable as reciprocated love. I start by showing that the relationship view of love cannot account for either the reasons or the value of unrequited love. I then present the simple property view, an alternative to the relationship view that is beset with its own problems. In order to solve these problems, I present a more sophisticated version of the property view that integrates ideas from (...) different property theorists in the love literature. However, even this more sophisticated property view falls short in accounting for unrequited love's reasons. In response, I develop a new version of the property view that I call the experiential view. On this view, we love a person not only in virtue of properties shaped by and experienced in a reciprocal loving relationship, but also in virtue of perspectival properties, whose value can be properly assessed also outside of a reciprocal loving relationship. The experiential view is the only view that can account not only for reciprocated love's reasons, but also for unrequited love's reasons. (shrink)

Envy is almost universally condemned. But is its reputation warranted? Sara Protasi argues envy is multifaceted and sometimes even virtuous.

Feminism is sensational -- On being directed -- Willfulness and feminist subjectivity -- Trying to transform -- Being in question -- Brick walls -- Fragile connections -- Feminist snap -- Lesbian feminism -- Conclusion 1: A killjoy survival kit -- Conclusion 2: A killjoy manifesto.

The most popular uniting theme in feminist peace literature grounds women's peace work in mothering. I argue if maternal arguments do not address the variety of relationships different races and classes of mothers have to institutional violence and/or the military, then the resulting peace politics can only draw incomplete conclusions about the relationships between maternal work/thinking and peace. To illustrate this I compare two models of mothering: Sara Ruddick's decription of "maternal practice" and Patricia Hill Collins's account of racial-ethnic (...) women's "motherwork.". (shrink)

_The Promise of Happiness_ is a provocative cultural critique of the imperative to be happy. It asks what follows when we make our desires and even our own happiness conditional on the happiness of others: “I just want you to be happy”; “I’m happy if you’re happy.” Combining philosophy and feminist cultural studies, Sara Ahmed reveals the affective and moral work performed by the “happiness duty,” the expectation that we will be made happy by taking part in that which (...) is deemed good, and that by being happy ourselves, we will make others happy. Ahmed maintains that happiness is a promise that directs us toward certain life choices and away from others. Happiness is promised to those willing to live their lives in the right way. Ahmed draws on the intellectual history of happiness, from classical accounts of ethics as the good life, through seventeenth-century writings on affect and the passions, eighteenth-century debates on virtue and education, and nineteenth-century utilitarianism. She engages with feminist, antiracist, and queer critics who have shown how happiness is used to justify social oppression, and how challenging oppression causes unhappiness. Reading novels and films including_ Mrs. Dalloway_, _The Well of Loneliness_, _Bend It Like Beckham_, and _Children of Men_, Ahmed considers the plight of the figures who challenge and are challenged by the attribution of happiness to particular objects or social ideals: the feminist killjoy, the unhappy queer, the angry black woman, and the melancholic migrant. Through her readings she raises critical questions about the moral order imposed by the injunction to be happy. (shrink)

In this paper I present a novel taxonomy of envy, according to which there are four kinds of envy: emulative, inert, aggressive and spiteful envy. An inquiry into the varieties of envy is valuable not only to understand it as a psychological phenomenon, but also to shed light on the nature of its alleged viciousness. The first section introduces the intuition that there is more than one kind of envy, together with the anecdotal and linguistic evidence that supports it. The (...) second section proposes and explains in detail a definition of envy tout court. The third section presents a recurring distinction between behavioral tendencies of envy, which has been explained in two distinct ways, one mostly proposed by psychologists, the other discernible in the philosophical tradition. The fourth section argues that these models of explanation track two variables, whose interplay is responsible for the existence of the four envies. The fifth section illustrates four paradigmatic cases, and provides a detailed analysis of the phenomenology, motivational structure, and typical behavioral outputs of each. The paper ends with a brief discussion of the implications of the taxonomy for moral education. (shrink)

Introduction: find your way -- Orientations toward objects -- Sexual orientation -- The orient and other others -- Conclusion: disorientation and queer objects.

Our fast-paced society does not approve of solitude; being alone is antisocial and some even find it sinister. Why is this so when autonomy, personal freedom and individualism are more highly prized than ever before? Sara Maitland answers this question by exploring changing attitudes throughout history. Offering experiments and strategies for overturning our fear of solitude, she to helps us to practice it without anxiety and encourages us to see the benefits of spending time by ourselves. By indulging in (...) the experience of being alone, we can be inspired to find our own rewards and ultimately lead more enriched, fuller live. - The School of Life is dedicated to exploring life's big questions: How can we fulfill our potential? Can work be inspiring? Why does community matter? Can relationships last a lifetime? We don't have all the answers, but we will direct you toward a variety of useful ideas--from philosophy to literature, from psychology to the visual arts--that are guaranteed to stimulate, provoke, nourish, and console. (shrink)

This paper offers an alternate solution to the puzzle of transformative experience raised by Paul (2014), through an appeal to Arthur Schopenhauer’s concept of the _acquired character_, which speaks to the intuition that authenticity entails a notion of the ‘self-as-guide’ (Rivera et al., 2019 ). On Paul’s solution to the puzzle, transformative decisions may be made authentically by adopting a meta-preference concerning personal transformation, such that the self is constituted after a decision is made. Yet when comparing Paul’s account of (...) authenticity to that of Somogy Varga’s (2012), we see that the former is too formal in that it neglects certain requirements of personal identity-formation, which Varga defines as wholehearted commitment based in strong evaluation. However, in defining these requirements as such, Varga’s account of authenticity is unequipped to adequately address the puzzle of transformative experience. Varga’s account further falls short with respect to specifying sufficient criteria for personal fitness, as Rings (2017) argues. In connection with this deficiency, Varga’s account also does not fully reckon with the threat of manipulation, given the possibility of egoistically driven self-deception in conjunction with oppressive social conditions. I argue that with the aim of character acquisition via acts of subjective contemplation, the authenticity of transformative decisions can be understood at least partly in terms of self-discovery. To expand on authenticity’s ethical dimension, as first introduced by Varga, in a way that is compatible with this established dimension of self-discovery, and with the help of Christopher Gill’s (1996) analysis of an ancient Greek conception of personhood, I suggest that we conceive of authenticity also as a process of value-interpretation, while employing a concept of the self that I will refer to as the _metapersonal_. This process is congruent with a metapersonal self in so far as it is aimed at defining and clarifying the human good in general, from within a community whose fundamental ethical demand consists of maximizing mutual and reciprocal benefit. (shrink)

The definition of consumerism is multifaceted, extending from the consumption of goods and services to its more negative connotations: the obsessive consumption of goods, exploitation of the people who create them and greed. In a society heavily influenced by consumerism, we find ourselves manipulated by social media and targeted advertising to buy goods or to cultivate a certain lifestyle, raising important ethical questions about responsibility and our autonomy to make decisions. How has the nature of how we create and consume (...) goods evolved and how is this linked to moral responsibility and autonomy? Can it also be argued that there is aesthetic appreciation to be gained from some of the items that we create and consume? (shrink)

Entrenchment and schematisation are the two most important cognitive processes in language acquisition. In this article, the role of the two processes, operationalised by token and type frequency, in the production of overgeneralised verb forms in Croatian preschool children is investigated using a parental questionnaire and computational simulation of language acquisition. The participants of the questionnaire were parents of children aged 3;0–5;11 years (n = 174). The results showed that parents of most children (93 %) reported the parallel use of (...) both adult-like and overgeneralised verb forms, suggesting that Croatian-speaking preschool children have not yet fully acquired the verbal system. The likelihood of overgeneralised forms being reported decreases with the age of the children and verb type frequency. The results of the computational simulation show that patterns with a higher type frequency also show a greater preference for the correct form, while lexical items show both learning and unlearning tendencies during the process. (shrink)

We discuss a case where medically optimal investigations of health problems in a donor-conceived child would require their egg donor to participate in genetic testing. We argue that it would be justified to contact the egg donor to ask whether she would consider this, despite her indicating on a historical consent form that she did not wish to take part in future research and that she did not wish to be informed if she was found to be a carrier of (...) a ‘harmful inherited condition’. We suggest that we cannot conjecture what her current answer might be if, by participating in clinical genetic testing, she might help reach a diagnosis for the donor-conceived child. At the point that she made choices regarding future contact, it was not yet evident that the interests of the donor-conceived child might be compromised by her answers, as it was not foreseen that the egg donor’s genome might one day have the potential to enable diagnosis for this child. Fertility consent forms tend to be conceptualised as representing incontrovertible historical boundaries, but we argue that rapid evolution in genomic practice means that consent in such cases is better seen as an ongoing and dynamic process. It cannot be possible to compel the donor to aid in the diagnosis of the donor-conceived child, but she should be given the opportunity to do so. (shrink)

"Best interests" is widely accepted as the appropriate foundation principle for medico-legal decisions concerning treatment withdrawal from patients in persistent vegetative state (PVS). Its application appears to progress logically from earlier use regarding legally incompetent patients. This author argues, however, that such confidence in the relevance of the principle of best interests to PVS is misplaced, and that current construction in this context is questionable on four specific grounds. Furthermore, it is argued that the resulting legal inconsistency is distorting both (...) the principle itself and, more particularly, individual patient interests. (shrink)

Pollution results from humankind’s failure to be good stewards of creation. Guided by Catholic environmental bioethics, Catholic health care organizations have reduced their contribution to this pollution, but they also encounter its human cost. Catholic hospitals treat countless patients sickened by pollution, which most strongly impacts the poor and disenfranchised—those whom the Church expresses a preferential responsibility to care for, in part via the charity care that Catholic health care provides. The poor encounter another cost of pollution: the financial cost (...) of seeking health care, particularly in the US. The authors argue that Catholic health care institutions should take the moral harm of pollution seriously by reducing the financial burden on those sickened by pollution. As an example, they highlight the situation of those sickened by lead exposure in the US and outline how Catholic health care institutions could consider lessening the financial burden of treating this sickness. (shrink)

Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. The book is designed to be used by students of philosophy, mathematics and computer science. The book contains a wealth of results on proof-theoretical systems, including extensions of such systems from logic (...) to mathematics, and on the connection between the two main forms of structural proof theory - natural deduction and sequent calculus. The authors emphasize the computational content of logical results. A special feature of the volume is a computerized system for developing proofs interactively, downloadable from the web and regularly updated. (shrink)

In the current American iconoclash, certain monuments are subject to vandalism and municipal removal from their pedestals. Phrases such as “the erasure of history” and “damnatio memoriae” point to concerns that iconoclasm is an attempt to censor history or even remove certain individuals from public memory altogether. Because these phrases beckon the past, this wave of iconoclasm calls for a close examination of previous image-breaking to establish motives. Drawing first from art history, we analyze Byzantine iconoclasm and anxieties over the (...) nature of icons’ power, before contextualizing these findings within image destruction from the Paleolithic to the present day. Each comparison is suggestive of an enduring aesthetic principle: that what appears inanimate is not always inert. Next, drawing from cultural anthropology, we argue that principles of sympathetic magic are at the heart of contemporary iconoclasms, but not in the way media outlets often suggest. Instead, the fear of history’s erasure betrays a deeply rooted equivalence between the representation and the represented. In perceiving their fates as shared, sympathetic magic is seen to persist in the way humans create, interpret, and desecrate images. We conclude with the speculative realist proposition that iconoclasm can produce new, original artworks, which carries implications for the autonomy of art and its distribution between artist and artwork. (shrink)